loop assertion generating system英 [luːp əˈsɜːʃn ˈdʒenəreɪtɪŋ ˈsɪstəm]美 [luːp əˈsɜːrʃn ˈdʒenəreɪtɪŋ ˈsɪstəm]【计】循环断言生成系统计算机